TraceOriginal

TraceOriginal is an option for Trace that specifies whether to test the form of each expression before its head and arguments are evaluated. 

Please visit the official Wolfram Language Reference for more details and examples on core symbols.